This paper describes a new context for the application of domain-specific languages (DSL) and modeling techniques: that of product production in a software product line (SPL). It briefly describes SPLs and how their products are produced. It then describes the role of DSLs and methods engineering in SPL product production. Specifically, we combine meta-modeling and other domain specific languag...

The paper presents a tool-supported approach to graphically editing scheme plans and their safety verification. The graphical tool is based on a Domain Specific Language which is used as the basis for transformation to a CSP‖B formal model of a scheme plan. The models produced utilise a variety of abstraction techniques that make the analysis of large scale plans feasible. The techniques are ap...

The increasing adoption of process-aware information systems (PAISs) has resulted in large process repositories comprising large and complex process models. To enable context-specific perspectives on these process models and related data, a PAIS should provide techniques for the flexible creation and change of process model abstractions. However, existing approaches focus on the formal model tr...

This paper presents a formal framework for process-oriented modelling and analysis of organisations. The high expressivity of the sorted predicate logic language used for specification allows representing a wide range of process-related concepts (e.g. tasks, processes, resources), characteristics and relations, which are described in the paper. Furthermore, for every organisation, structural an...

This paper presents a formal framework for process-oriented modeling and analysis of organizations. The high expressivity of a sorted predicate logic language used for specification allows representing a wide range of process-related concepts (e.g., tasks, processes, resources), characteristics and relations, which are described in the paper. Furthermore, for every organization, structural and ...